p(()) == fst(m(()))
q(()) == snd(m(()))